Uses of Class
edu.uky.ai.lp.logic.Term
| Package | Description |
|---|---|
| edu.uky.ai.lp.logic |
Contains classes for representing logical formulas in function-free
predicate logic, unifiers, and knowledge bases.
|
-
Uses of Term in edu.uky.ai.lp.logic
Subclasses of Term in edu.uky.ai.lp.logic Modifier and Type Class Description classConstantRepresents a specific thing in the logical universe.classVariableRepresents a place-holder term which can be bound to any constant.Fields in edu.uky.ai.lp.logic declared as Term Modifier and Type Field Description Term[]Fact. termsThe terms to which the predicate appliesMethods in edu.uky.ai.lp.logic that return Term Modifier and Type Method Description TermUnifier. get(Variable variable)Returns the value assigned to a variable (if any) under this unifier.abstract TermTerm. substitute(Unifier unifier)TermVariable. substitute(Unifier unifier)Methods in edu.uky.ai.lp.logic with parameters of type Term Modifier and Type Method Description UnifierUnifier. set(Variable variable, Term value)Sets a variable equal to a value (if value is a constant) or as having the same value as another variable (if value is a variable).Constructors in edu.uky.ai.lp.logic with parameters of type Term Constructor Description Fact(java.lang.String predicate, Term... terms)Constructs a new fact with the given predicate and terms.